Free crossed resolutions of groups and presentations of modules of identities among relations
نویسندگان
چکیده
We give formulae for a module presentation of the module of identities among relations for a presentation of a group, in terms of information on 0and 1-combings of the Cayley graph. This is seen as a special case of extending a partial free crossed resolution of a group given a partial contracting homotopy of its universal cover.
منابع مشابه
On the Schreier Theory of Nonabelian Extensions: Generalisations and Computations
We use presentations and identities among relations to give a generalisation of the Schreier theory of nonabelian extensions of groups. This replaces the usual multiplication table for the extension group by more efficient, and often geometric, data. The methods utilise crossed modules and crossed resolutions.
متن کاملIdentities among relations for higher-dimensional rewriting systems
We generalize the notion of identities among relations, well known for presentations of groups, to presentations of n-categories by polygraphs. To each polygraph, we associate a track n-category, generalizing the notion of crossed module for groups, in order to define the natural system of identities among relations. We relate the facts that this natural system is finitely generated and that th...
متن کاملThe category of generalized crossed modules
In the definition of a crossed module $(T,G,rho)$, the actions of the group $T$ and $G$ on themselves are given by conjugation. In this paper, we consider these actions to be arbitrary and thus generalize the concept of ordinary crossed module. Therefore, we get the category ${bf GCM}$, of all generalized crossed modules and generalized crossed module morphisms between them, and investigate som...
متن کاملCrossed squares, crossed modules over groupoids and cat$^{bf {1-2}}-$groupoids
The aim of this paper is to introduce the notion of cat$^{bf {1}}-$groupoids which are the groupoid version of cat$^{bf {1}}-$groups and to prove the categorical equivalence between crossed modules over groupoids and cat$^{bf {1}}-$groupoids. In section 4 we introduce the notions of crossed squares over groupoids and of cat$^{bf {2}}-$groupoids, and then we show their categories are equivalent....
متن کاملThe non-abelian tensor product of normal crossed submodules of groups
In this article, the notions of non-abelian tensor and exterior products of two normal crossed submodules of a given crossed module of groups are introduced and some of their basic properties are established. In particular, we investigate some common properties between normal crossed modules and their tensor products, and present some bounds on the nilpotency class and solvability length of the...
متن کامل